Search results for "model [interaction]"
showing 10 items of 1495 documents
An Efficient Cooperative Smearing Technique for Degraded Historical Documents Images Segmentation
2020
Segmentation is one of the critical steps in historical document image analysis systems that determines the quality of the search, understanding, recognition and interpretation processes. It allows isolating the objects to be considered and separating the regions of interest (paragraphs, lines, words and characters) from other entities (figures, graphs, tables, etc.). This stage follows the thresholding, which aims to improve the quality of the document and to extract its background from its foreground, also for detecting and correcting the skew that leads to redress the document. Here, a hybrid method is proposed in order to locate words and characters in both handwritten and printed docu…
Generating incremental type services
2019
In this vision paper, we propose a method for generating fully functional incremental type services from declarations of type rules. Our general strategy is to translate type rules into Datalog, for which efficient incremental solvers are already available. However, many aspects of type rules don't naturally translate to Datalog and need non-trivial translation. We demonstrate that such translation may be feasible by outlining the translation rules needed for a language with typing contexts (name binding) and bidirectional type rules (local type inference). We envision that even rich type systems of DSLs can be incrementalized by translation to Datalog in the future.
A continuous time tug-of-war game for parabolic $p(x,t)$-Laplace type equations
2019
We formulate a stochastic differential game in continuous time that represents the unique viscosity solution to a terminal value problem for a parabolic partial differential equation involving the normalized $p(x,t)$-Laplace operator. Our game is formulated in a way that covers the full range $1<p(x,t)<\infty$. Furthermore, we prove the uniqueness of viscosity solutions to our equation in the whole space under suitable assumptions.
‘Tool port’ to ‘landlord port’: a game theory approach to analyse gains from governance model transformation
2018
This study investigates potential port users’ surplus and terminal operators’ profits due to transforming port governance from the ‘tool port’ model to the ‘landlord port’ model. Although the landl...
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
On the Almost Everywhere Convergence of Multiple Fourier-Haar Series
2019
The paper deals with the question of convergence of multiple Fourier-Haar series with partial sums taken over homothetic copies of a given convex bounded set $$W\subset\mathbb{R}_+^n$$ containing the intersection of some neighborhood of the origin with $$\mathbb{R}_+^n$$ . It is proved that for this type sets W with symmetric structure it is guaranteed almost everywhere convergence of Fourier-Haar series of any function from the class L(ln+L)n−1.
Better numerical approximation by Durrmeyer type operators
2018
The main object of this paper is to construct new Durrmeyer type operators which have better features than the classical one. Some results concerning the rate of convergence and asymptotic formulas of the new operator are given. Finally, the theoretical results are analyzed by numerical examples.
Minimality via second variation for microphase separation of diblock copolymer melts
2017
Abstract We consider a non-local isoperimetric problem arising as the sharp interface limit of the Ohta–Kawasaki free energy introduced to model microphase separation of diblock copolymers. We perform a second order variational analysis that allows us to provide a quantitative second order minimality condition. We show that critical configurations with positive second variation are indeed strict local minimizers of the problem. Moreover, we provide, via a suitable quantitative inequality of isoperimetric type, an estimate of the deviation from minimality for configurations close to the minimum in the L 1 {L^{1}} -topology.
Evidence of oblate-prolate shape coexistence in the strongly-deformed nucleus 119Cs
2021
International audience; Prolate-oblate shape coexistence close to the ground state in the strongly-deformed proton-rich A≈120 nuclei is reported for the first time. One of the four reported bands in 119Cs, built on a 11/2− state at 670 keV, consists of nearly degenerate signature partners, and has properties which unequivocally indicate the strongly-coupled πh11/2[505]11/2− configuration associated with oblate shape. Together with the decoupled πh11/2[541]3/2− band built on the 11/2− prolate state at 110 keV, for which a half-life of T1/2=55(5)μs has been measured, the new bands bring evidence of shape coexistence at low spin in the proton-rich strongly deformed A≈120 nuclei, a phenomenon p…
Search for a Dark Leptophilic Scalar in e(+) e(-) Collisions
2020
Many scenarios of physics beyond the standard model predict the existence of new gauge singlets, which might be substantially lighter than the weak scale. The experimental constraints on additional scalars with masses in the MeV to GeV range could be significantly weakened if they interact predominantly with leptons rather than quarks. At an e+e- collider, such a leptophilic scalar (φL) would be produced predominantly through radiation from a τ lepton. We report herein a search for e+e-→τ+τ-φL, φL→ℓ+ℓ- (ℓ=e, μ) using data collected by the BABAR experiment at SLAC. No significant signal is observed, and we set limits on the φL coupling to leptons in the range 0.04<mφL<7.0 GeV. These bounds s…